Discrete Event Systems Solution to Exercise Sheet 11 1 Competitive Analysis
نویسندگان
چکیده
In the script there is a definition for the competitiveness of an algorithm. However, this definition only holds if we want to evaluate an algorithm by means of its costs. Sometimes, we want to compare algorithms regarding their benefit rather than their costs. In this case, we have to be a bit careful with the definition of a c-competitive algorithm. We say that an algorithm Alg is c-competitive, if for all finite input sequences the solution of algorithm Alg is at most a factor c worse than the optimal algorithm, regardless of the algorithms being compared concerning costs or benefit. According to whether we evaluate an algorithm based on costs or benefit, an algorithm Alg is c-competitive if for all finite input sequences I
منابع مشابه
Discrete Event Systems Solution to Exercise Sheet 13 1 Competitive Analysis
In the script there is a definition for the competitiveness of an algorithm. However, this definition only holds if we want to evaluate an algorithm by means of its costs. Sometimes, we want to compare algorithms regarding their benefit rather than their costs. In this case, we have to be a bit careful with the definition of a c-competitive algorithm. We say that an algorithm Alg is c-competiti...
متن کاملDiscrete Event Systems Solution to Exercise Sheet 12 1 Competitive Analysis
In the script there is a definition for the competitiveness of an algorithm. However, this definition only holds if we want to evaluate an algorithm by means of its costs. Sometimes, we want to compare algorithms regarding their benefit rather than their costs. In this case, we have to be a bit careful with the definition of a c-competitive algorithm. We say that an algorithm Alg is c-competiti...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل